R => (A, B) ~ (R => A, R => B)